Thats fairly frequent isnt it?
I've been using the HPR5 full synthetic for a while now and happy w it, it runs fine.
Actually the car is about to hit the big 50k mark

but i have no idea what it had in it before i bought it, 25ks ago.
Interestingly i never had an understanding of the importance of oil grade/quality before and the KH has only had whatever the dealers used for all those years. Recently i made sure it had HPR10 and it seems to be ok with it. Its got over 200ks now and im led to believe the slightly "thicker" oil is better for rhe older engine.